Amalgamation and interpolation in ordered algebras
نویسندگان
چکیده
منابع مشابه
Amalgamation and Interpolation in Ordered Algebras
The first part of this paper provides a comprehensive and self-contained account of the interrelationships between algebraic properties of varieties and properties of their free algebras and equational consequence relations. In particular, proofs are given of known equivalences between the amalgamation property and the Robinson property, the congruence extension property and the extension prope...
متن کاملAmalgamation and Interpolation in the Category of Heyting Algebras
This is the first of two papers describing how properties of open continuous maps between locales (which are the lattice-theoretic generalisation of topological spaces) can be used to give very straight-forward, constructive proofs of certain properties of first-order intuitionistic theories. The properties we have in mind are those of stability of a conservative interpretation of theories unde...
متن کاملAmalgamation Property in Quasi-modal Algebras
In this paper we will give suitable notions of Amalgamation and Super-amalgamation properties for the class of quasi-modal algebras introduced by the author in his paper Quasi-Modal algebras.
متن کاملAmalgamation in nite dimensional cylindric algebras
For every nite n > 1, the embedding property fails in the class of all n-dimensional cylindric type algebras which satisfy the following. Their boolean reducts are boolean algebras and two of the cylindriications are normal, additive and commute. This result also holds for all subclasses containing the representable n-dimensional cylindric algebras. This considerably strengthens a result of S. ...
متن کاملOrdered Algebras and Logic
Ordered algebras such as Boolean algebras, Heyting algebras, lattice-ordered groups, and MV-algebras have long played a decisive role in logic, although perhaps only in recent years has the significance of the relationship between the two fields begun to be fully recognized and exploited. The first aim of this survey article is to briefly trace the distinct historical roots of ordered algebras ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2014
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2013.11.019